/*
 * ModalLogic.h
 *
 *  Created on: Apr 29, 2012
 *      Author: kobe
 */

#ifndef MODALLOGIC_H_
#define MODALLOGIC_H_

enum ModalLogic {
	TOP,
	BOTTOM,
	ATOMIC,
	DISJUNCTION,
	CONJUNCTION,
	BLACKDIAMOND,
	SQUARE,
	UPDATE,
	AFTER,
	VOID,
	ACTION,
	MONOID
};


#endif /* MODALLOGIC_H_ */
